Instance Verification Kit (IVK)

mutex lock @ [4443+30+/linux-3.19-rc1/drivers/misc/mei/wd.c]
Instance Signature: device_lock

The Matching Pair Graph:

Function Name
Control Flow Graph (CFG)
Events Flow Graph (EFG)
Source Correspondence
mei_me_pci_suspend [8121+18+/linux-3.19-rc1/drivers/misc/mei/pci-me.c]
mei_me_remove [7485+13+/linux-3.19-rc1/drivers/misc/mei/pci-me.c]
mei_stop [7424+8+/linux-3.19-rc1/drivers/misc/mei/init.c]
mei_txe_pci_suspend [5398+19+/linux-3.19-rc1/drivers/misc/mei/pci-txe.c]
mei_txe_remove [4765+14+/linux-3.19-rc1/drivers/misc/mei/pci-txe.c]
mei_wd_ops_stop [5762+15+/linux-3.19-rc1/drivers/misc/mei/wd.c]
mei_wd_stop [3811+11+/linux-3.19-rc1/drivers/misc/mei/wd.c]